The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
🔱Galois Theory
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Infix Versus Prefix Operators
irreal.org·14h
🧠Lisp Dialects
Flag this post
Dingo: A Meta-Language for Go
github.com·4h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Finding duplicated code with tools from your CS course
purplesyringa.moe·6d·
Discuss: Hacker News, r/programming
⬆️Lambda Lifting
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·1h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·9h·
Discuss: r/golang
⚡gRPC
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.com·3d
📐Error Bounds
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·12h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
What To Know Before Building Fluent Bit Plugins With Go
thenewstack.io·1d
💧Liquid Types
Flag this post
Notes for November 17-22
taoofmac.com·7h
🌀Brotli Internals
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
LLM on AWS with Bedrock and Understanding Non-Determinism in Generative Models
dev.to·11h·
Discuss: DEV
💻Local LLMs
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Flag this post
Day 3: Type Casting - Transforming Data Types - 30 Days of Python Challenge
dev.to·2d·
Discuss: DEV
🔤Type Theory
Flag this post